Template:STRUCTURE 3cnf